A Survey on the Application of the Cell-DEVS Formalism

The Cell-DEVS formalism allows defining a cell space [11] seen as a lattice of cells holding a computing apparatus in charge of updating the cell state according to a local rule. This is done using the present cell state and the cell’s neighborhood information using a discrete-event approach and explicit timing delays. Cell-DEVS is based on DEVS (Discrete EVent systems Specifications), a technique that allows the modular description of discrete-event systems that can be integrated hierarchically [14]. Different existing techniques (Bond Graphs, Cellular Automata, State Charts, Partial Differential Equations, Petri Nets, Timed Automata, etc.) have been mapped to DEVS, and the independence of the simulation engines and the models allowed to